$\vdash$  $\forall$$a$, $b$:$\mathbb{B}$. (($a$ $\wedge_{b}$ $b$) $\sim$ tt) $\Rightarrow$ \{($a$ $\sim$ tt) \& ($b$ $\sim$ tt)\}